# -*- mode: snippet -*-
# name: assume ...: ...
# key: assume.
# --
assume ${1:cs}: ${2:code}${3:, ss: ${4:stack}${5:, ds: ${6:data}}}$0